Main entry: Muller, Johann Muller, Regiomontanus
Definition: German mathematician and astronomer (1436-1476)